Интеграл с переменным верхним пределом

Определение:

Пусть $f(x)$ интегрируема на $[a, b]$, тогда **интегралом с переменным верхним пределом** называется: $$F(x) = \int_{a}^{x} f(t) \, dt ~~~~\forall{x \in [a,b]}$$

Теорема, связанная с данным определением